python synthesis_tool/make_dataset.py